afifi chaima
- afifi.chaima@univ-guelma.dz
Thesis title
Thesis title (Ar)
Thesis title (Fr)
keywords
keywords (Ar)
keywords (Fr)
Abstract
Business processes are at the heart of modern information systems and the research literature has highlighted the usefulness of abstract specifications (business protocols) as formal tools which are inevitable during the entire business processes life-cycle. However, in different situations, such as legacy systems migrations, handling changes occurring in enterprises environments, as well as using new technologic paradigms (RPC/RMI, CORBA, Web Services, Java/EJB, etc.…), business protocols may be obsolete, incoherent or simply absent.
This thesis proposes a new approach for extracting abstract specifications expressing the external behavior of business processes which is contained in execution log-files. The work is based on formal tools for knowledge representation (data representation and storage) (LTS, FSM, Petri-Nets, Graphs) and it focuses on a re-engineering perspective that benefits from contemporary techniques used in data-sciences, such as data-mining, machine learning and deep learning.
Abstract (Ar)
تقع العمليات التجارية في قلب أنظمة المعلومات الحديثة وقد سلطت المؤلفات البحثية الضوء على فائدة المواصفات المجردة (بروتوكولات الأعمال) كأدوات رسمية لا مفر منها خلال دورة حياة العمليات التجارية بأكملها. ومع ذلك ، في المواقف المختلفة ، مثل عمليات ترحيل الأنظمة القديمة ، والتعامل مع التغييرات التي تحدث في بيئات المؤسسات ، وكذلك استخدام النماذج التكنولوجية الجديدة (RPC / RMI ، CORBA ، خدمات الويب ، Java / EJB ، إلخ ...) ، قد تكون بروتوكولات الأعمال قديمة أو غير متماسك أو ببساطة غائب.
تقترح هذه الأطروحة أسلوباً جديداً لاستخراج المواصفات المجردة التي تعبر عن السلوك الخارجي للعمليات التجارية المتضمنة في ملفات سجل التنفيذ. يعتمد العمل على أدوات رسمية لتمثيل المعرفة (تمثيل البيانات وتخزينها) (LTS ، FSM ، Petri-Nets ، الرسوم البيانية) ويركز على منظور إعادة الهندسة الذي يستفيد من التقنيات المعاصرة المستخدمة في علوم البيانات ، مثل البيانات - التعدين والتعلم الآلي والتعلم العميق.
Abstract (Fr)
Les processus métier sont au cœur des systèmes d'information modernes et la littérature scientifique a mis en évidence l'utilité des spécifications abstraites (protocoles métier) en tant qu'outils formels incontournables tout au long du cycle de vie des processus métier. Cependant, dans différentes situations, telles que les migrations de systèmes hérités, la gestion des changements survenant dans les environnements d'entreprise, ainsi que l'utilisation de nouveaux paradigmes technologiques (RPC/RMI, CORBA, Web Services, Java/EJB, etc.…), les protocoles métier peuvent être obsolètes. , incohérent ou simplement absent.
Cette thèse propose une nouvelle approche pour extraire des spécifications abstraites exprimant le comportement externe des processus métier qui sont contenus dans les fichiers journaux d'exécution. Le travail est basé sur des outils formels de représentation des connaissances (représentation et stockage de données) (LTS, FSM, Petri-Nets, Graphs) et il se concentre sur une perspective de réingénierie qui bénéficie des techniques contemporaines utilisées dans les sciences des données, telles que les données -mining, machine learning et deep learning.
Scientific publications
<p>Scientific publications</p>
Scientific conferences
<p>Scientific conferences</p>